Functional calculus

Results: 647



#Item
551Functional analysis / Precalculus / Mathematical analysis / Calculus / Ron Larson / Mathematics education

Microsoft Word - SUMMER 2013 Textbook List.doc

Add to Reading List

Source URL: www.utdallas.edu

Language: English - Date: 2013-04-26 13:35:09
552Markup languages / XML / 4GL / XQuery / Symbol / XPath / Parity of a permutation / Pattern matching / Zipper / Computing / Web standards / Functional languages

A Core Calculus for XQuery 3.0 Giuseppe Castagna1 1

Add to Reading List

Source URL: www.pps.univ-paris-diderot.fr

Language: English - Date: 2013-07-16 07:49:12
553Functional languages / Procedural programming languages / Computability theory / Lambda calculus / Theoretical computer science / Kernel / Linux kernel / ML / Mathematics / Computing / Software engineering

The theory of Mezzo François Pottier INRIA

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2014-05-01 09:27:23
554Differential calculus / Functional analysis / Generalizations of the derivative / Real analysis / Wave / Optics / Shearing interferometer / Mathematical analysis / Mathematics / Algebra

Wave-front reconstruction from multidirectional phase derivatives generated by multilateral shearing interferometers

Add to Reading List

Source URL: www.rayscience.com

Language: English - Date: 2011-07-22 21:35:35
555Type theory / Lambda calculus / Functional programming / Data types / Theoretical computer science / Unification / Generic programming / Higher-order abstract syntax / De Bruijn index / Software engineering / Mathematics / Computing

Scrap your Nameplate (Functional Pearl) James Cheney

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-07-12 06:34:19
556Functional analysis / Operator theory / Multivariable calculus / Heat equation / Heat transfer / C0-semigroup / Operator / Laplace operator / Spectral theory of ordinary differential equations / Mathematical analysis / Calculus / Mathematics

Manuscript submitted to AIMS’ Journals Volume X, Number 0X, XX 200X

Add to Reading List

Source URL: dynamics.org

Language: English - Date: 2012-09-30 04:13:44
557Operator theory / Fourier analysis / Differential forms / Functional analysis / Multivariable calculus / Hilbert space / Heat equation / Laplace operator / De Rham cohomology / Mathematical analysis / Calculus / Mathematics

FINITE ELEMENT EXTERIOR CALCULUS FOR PARABOLIC PROBLEMS

Add to Reading List

Source URL: www.ima.umn.edu

Language: English - Date: 2012-09-06 20:35:21
558Quantum mechanics / Quantum field theory / Mathematical physics / Heat equation / Heat transfer / Semigroup / Path integral formulation / Differential equation / Functional integration / Calculus / Physics / Mathematical analysis

Mathematics of the Feynman path integral Vassili N. Kolokoltsov Nottingham Trent University, School of Computing and Math.

Add to Reading List

Source URL: www.ima.umn.edu

Language: English - Date: 2003-07-21 10:42:00
559Differential calculus / Generalizations of the derivative / Topological vector spaces / Ordinary differential equations / Calculus of variations / Derivative / Functional derivative / Differential equation / Differential of a function / Calculus / Mathematical analysis / Mathematics

JOURNAL OF OPTIMIZATIONAND APPLICATIONS: Vol. 26, No. 3, NOVEMBER[removed]On Certain Functional Derivatives 1

Add to Reading List

Source URL: www.mathstat.concordia.ca

Language: English - Date: 2009-01-13 11:43:04
560Functional programming / Models of computation / Lambda calculus / Subroutines / Logic in computer science / Denotational semantics / Eval / Type system / Symbol / Software engineering / Computing / Declarative programming

Chapter 1 Functional Concepts in C++ Rose H. Abdul Rauf1 , Ulrich Berger2 , Anton Setzer2 3 Abstract: We describe a parser-translator program that translates typed λ-terms into C++ classes so as to integrate functional

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2007-02-18 18:37:26
UPDATE